(distclean): Delete config.stamp, stamp-oldxmenu.

diff --git a/src/Makefile.in b/src/Makefile.in
index 583d57917eaa0ffaea5358413ef8e2c93f5d623d..5584016101975451ca8a2e6107595c2dd5366ea0 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1136,7 +1136,7 @@ clean: mostlyclean
 /**/# This is used in making a distribution.
 /**/# Do not use it on development directories!
 distclean: clean
-       rm -f paths.h config.h Makefile Makefile.c ../etc/DOC-*
+       rm -f paths.h config.h Makefile Makefile.c config.stamp stamp-oldxmenu ../etc/DOC-*
 maintainer-clean: distclean
        @echo "This command is intended for maintainers to use;"
        @echo "it deletes files that may require special tools to rebuild."